81. A survey of verification techniques for parallel programs

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)

رده :
QA76
.
5
H693
1985

82. A textbook of computer science

پدیدآورنده :

کتابخانه: (خراسان الجنوبیة)

موضوع : ، Computers

رده :
QA
76
.
K35
1989

83. A view of programming laguages

پدیدآورنده :

موضوع : ، Programming languges ) Electornic computers (

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

84. ACM Turing Award lectures :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :
QA76
.
24
.
A33
1987

85. AES--Advanced encryption standard

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computers ; Access control ; Standards ; Congresses. ; Data encryption (Computer science) ; Standards ; Congresses. ; Computer security ; Standards ; Congresses. ;

86. AI approaches to the complexity of legal systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
K213

87. AI*IA 2018 -- advances in artificial intelligence :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.

رده :
Q334

88. AIX UNIX :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Management information systems.,Operating systems (Computers)

رده :
QA76
.
76
.
O63
V665
1996

89. APL Progrmming and computer techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، APL )computer program language(,، Electronic digital computers - Programming

رده :
QA
76
.
5
.
K36

90. APL programming and computer techniques

پدیدآورنده :

موضوع : ، APL )Computer program language(,، Electronic digital computers-- Programming

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

91. APL programming and computer techniques

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، APL )Computer program language(,، Electronic digital computers -- Programming

رده :
QA
76
.
73
.
A27
K38
1970

92. APL programming and computer techniques /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : APL (Computer program language),Electronic digital computers, Programming.,APL.

رده :
QA76
.
5

93. APT :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : QA75 Electronic computers. Computer science

94. AQA A level Computer Science.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76

95. ARM microprocessor systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : ARM microprocessors.,ARM microprocessors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76
.
6
.
T337
2017

96. ASIAN 2003 :--Advances in computing science

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;

97. ATM technology for broadband telecommunications networks /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Asynchronous transfer mode.,Broadband communication systems.,Mode de transfert asynchrone.,Télécommunications à large bande, Systèmes de.,Asynchronous transfer mode.,ATM.,Breitbandübertragung,Broadband communication systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
TK5105
.
35
.
P36
1999eb

98. AVIEN malware defense guide for the Enterprise /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks-- Security measures.,Computer security-- Management.,Computer viruses.,Computer networks-- Security measures.,Computer security-- Management.,Computer viruses.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.

رده :
QA76
.
9
.
A25
A873
2007eb

99. AWS certified solutions architect practice tests :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Amazon Web Services (Firm)-- Certification-- Examinations,Cloud computing-- Examinations, Study guides.,Web services-- Examinations, Study guides.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :
QA76
.
585

100. Absolute beginner's guide to computer basics /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :
QA76
.
5
.
M531412
2003eb